extensionPrefs: Fix enum member name

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 0277de042dd4ab61745f65a0d79b236a79485567..6c536aa1f5bf30c50e2201a2571e2cc1c726b862 100644 (file)
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -154,7 +154,7 @@ const Application = new Lang.Class({
 
         this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
         this._settings.bind('disable-user-extensions', killSwitch, 'active',
-                            Gio.SettingsBindFlags.BIND_DEFAULT |
+                            Gio.SettingsBindFlags.DEFAULT |
                             Gio.SettingsBindFlags.INVERT_BOOLEAN);
 
         let scroll = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER });